Merge branch 'ui-enum-values' into 'master'
authorTimm Bäder <mail@baedert.org>
Mon, 8 Jul 2019 07:14:48 +0000 (07:14 +0000)
committerTimm Bäder <mail@baedert.org>
Mon, 8 Jul 2019 07:14:48 +0000 (07:14 +0000)
Change the few examples that use a full GTK_ enum value in .ui files.

See merge request GNOME/gtk!987


Trivial merge